Algorithm for Adapting Cases Represented in a Tractable Description Logic

Case-based reasoning (CBR) based on description logics (DLs) has gained a lot of attention lately. Adaptation is a basic task in the CBR inference that can be modeled as the knowledge base revision problem and solved in propositional logic. However, in DLs, it is still a challenge problem since existing revision operators only work well for strictly restricted DLs of the \emph{DL-Lite} family, and it is difficult to design a revision algorithm which is syntax-independent and fine-grained. In this paper, we present a new method for adaptation based on the DL $\mathcal{EL_{\bot}}$. Following the idea of adaptation as revision, we firstly extend the logical basis for describing cases from propositional logic to the DL $\mathcal{EL_{\bot}}$, and present a formalism for adaptation based on $\mathcal{EL_{\bot}}$. Then we present an adaptation algorithm for this formalism and demonstrate that our algorithm is syntax-independent and fine-grained. Our work provides a logical basis for adaptation in CBR systems where cases and domain knowledge are described by the tractable DL $\mathcal{EL_{\bot}}$.Comment: 21 pages. ICCBR 201

Gestión Automatizada del Programa de Mentoría en la Universidad Complutense de Madrid

El gran volumen de datos generados en el programa de mentoría de la Universidad Complutense de Madrid (con más de 450 mentores y 1500 telémacos en el curso 2018-2019) hace necesario implementar un sistema de gestión y automatización de los datos referentes al cumplimiento y satisfacción tanto de los mentores como de los telémacos. Además de eso, para poder realizar una comparativa fiable sobre el funcionamiento del programa entre diferentes Facultades, todo el sistema de gestión debe realizarse de forma homogénea. En este trabajo se explica cómo se ha llevado a cabo este proceso de automatización y gestión de datos y cómo esto puede repercutir en un mejor acogimiento de los alumnos de nuevo ingreso y un mejor análisis del efecto que puede tener un programa de mentoría en el proceso de aprendizaje

VFISV: Very Fast Inversion of the Stokes Vector for the Helioseismic and Magnetic Imager

In this paper we describe in detail the implementation and main properties of a new inversion code for the polarized radiative transfer equation (VFISV: Very Fast inversion of the Stokes vector). VFISV will routinely analyze pipeline data from the Helioseismic and Magnetic Imager (HMI) on-board of the Solar Dynamics Observatory (SDO). It will provide full-disk maps (4096$\times$4096 pixels) of the magnetic field vector on the Solar Photosphere every 10 minutes. For this reason VFISV is optimized to achieve an inversion speed that will allow it to invert 16 million pixels every 10 minutes with a modest number (approx. 50) of CPUs. Here we focus on describing a number of important details, simplifications and tweaks that have allowed us to significantly speed up the inversion process. We also give details on tests performed with data from the spectropolarimeter on-board of the Hinode spacecraft.Comment: 23 pages, 9 figures (2 color). Submitted for publication to Solar Physic

Model-independent search for CP violation in D0→K−K+π−π+ and D0→π−π+π+π− decays

A search for CP violation in the phase-space structures of D0 and View the MathML source decays to the final states K−K+π−π+ and π−π+π+π− is presented. The search is carried out with a data set corresponding to an integrated luminosity of 1.0 fb−1 collected in 2011 by the LHCb experiment in pp collisions at a centre-of-mass energy of 7 TeV. For the K−K+π−π+ final state, the four-body phase space is divided into 32 bins, each bin with approximately 1800 decays. The p-value under the hypothesis of no CP violation is 9.1%, and in no bin is a CP asymmetry greater than 6.5% observed. The phase space of the π−π+π+π− final state is partitioned into 128 bins, each bin with approximately 2500 decays. The p-value under the hypothesis of no CP violation is 41%, and in no bin is a CP asymmetry greater than 5.5% observed. All results are consistent with the hypothesis of no CP violation at the current sensitivity

Search for the lepton-flavor-violating decays Bs0→e±μ∓ and B0→e±μ∓

A search for the lepton-flavor-violating decays Bs0→e±μ∓ and B0→e±μ∓ is performed with a data sample, corresponding to an integrated luminosity of 1.0  fb-1 of pp collisions at √s=7  TeV, collected by the LHCb experiment. The observed number of Bs0→e±μ∓ and B0→e±μ∓ candidates is consistent with background expectations. Upper limits on the branching fractions of both decays are determined to be B(Bs0→e±μ∓)101  TeV/c2 and MLQ(B0→e±μ∓)>126  TeV/c2 at 95% C.L., and are a factor of 2 higher than the previous bounds

Measurement of the Bs0→J/ψKS0B_s^0\to J/\psi K_S^0 branching fraction

The $B_s^0\to J/\psi K_S^0$ branching fraction is measured in a data sample corresponding to 0.41$fb^{-1}$ of integrated luminosity collected with the LHCb detector at the LHC. This channel is sensitive to the penguin contributions affecting the sin2$\beta$ measurement from $B^0\to J/\psi K_S^0$ The time-integrated branching fraction is measured to be $BF(B_s^0\to J/\psi K_S^0)=(1.83\pm0.28)\times10^{-5}$. This is the most precise measurement to date

Branching fraction and CP asymmetry of the decays B+→K0Sπ+ and B+→K0SK+

An analysis of B+ → K0 Sπ+ and B+ → K0 S K+ decays is performed with the LHCb experiment. The pp collision data used correspond to integrated luminosities of 1 fb−1 and 2 fb−1 collected at centre-ofmass energies of √ s = 7 TeV and √ s = 8 TeV, respectively. The ratio of branching fractions and the direct CP asymmetries are measured to be B(B+ → K0 S K+ )/B(B+ → K0 Sπ+ ) = 0.064 ± 0.009 (stat.) ± 0.004 (syst.), ACP(B+ → K0 Sπ+ ) = −0.022 ± 0.025 (stat.) ± 0.010 (syst.) and ACP(B+ → K0 S K+ ) = −0.21 ± 0.14 (stat.) ± 0.01 (syst.). The data sample taken at √ s = 7 TeV is used to search for B+ c → K0 S K+ decays and results in the upper limit ( fc · B(B+ c → K0 S K+ ))/( fu · B(B+ → K0 Sπ+ )) < 5.8 × 10−2 at 90% confidence level, where fc and fu denote the hadronisation fractions of a ¯b quark into a B+ c or a B+ meson, respectively

Measurement of the CP-violating phase \phi s in Bs->J/\psi\pi+\pi- decays

Measurement of the mixing-induced CP-violating phase phi_s in Bs decays is of prime importance in probing new physics. Here 7421 +/- 105 signal events from the dominantly CP-odd final state J/\psi pi+ pi- are selected in 1/fb of pp collision data collected at sqrt{s} = 7 TeV with the LHCb detector. A time-dependent fit to the data yields a value of phi_s=-0.019^{+0.173+0.004}_{-0.174-0.003} rad, consistent with the Standard Model expectation. No evidence of direct CP violation is found.Comment: 15 pages, 10 figures; minor revisions on May 23, 201

Measurement of the Bottom-Strange Meson Mixing Phase in the Full CDF Data Set

We report a measurement of the bottom-strange meson mixing phase \beta_s using the time evolution of B0_s -> J/\psi (->\mu+\mu-) \phi (-> K+ K-) decays in which the quark-flavor content of the bottom-strange meson is identified at production. This measurement uses the full data set of proton-antiproton collisions at sqrt(s)= 1.96 TeV collected by the Collider Detector experiment at the Fermilab Tevatron, corresponding to 9.6 fb-1 of integrated luminosity. We report confidence regions in the two-dimensional space of \beta_s and the B0_s decay-width difference \Delta\Gamma_s, and measure \beta_s in [-\pi/2, -1.51] U [-0.06, 0.30] U [1.26, \pi/2] at the 68% confidence level, in agreement with the standard model expectation. Assuming the standard model value of \beta_s, we also determine \Delta\Gamma_s = 0.068 +- 0.026 (stat) +- 0.009 (syst) ps-1 and the mean B0_s lifetime, \tau_s = 1.528 +- 0.019 (stat) +- 0.009 (syst) ps, which are consistent and competitive with determinations by other experiments.Comment: 8 pages, 2 figures, Phys. Rev. Lett 109, 171802 (2012

Absolute luminosity measurements with the LHCb detector at the LHC

Absolute luminosity measurements are of general interest for colliding-beam experiments at storage rings. These measurements are necessary to determine the absolute cross-sections of reaction processes and are valuable to quantify the performance of the accelerator. Using data taken in 2010, LHCb has applied two methods to determine the absolute scale of its luminosity measurements for proton-proton collisions at the LHC with a centre-of-mass energy of 7 TeV. In addition to the classic "van der Meer scan" method a novel technique has been developed which makes use of direct imaging of the individual beams using beam-gas and beam-beam interactions. This beam imaging method is made possible by the high resolution of the LHCb vertex detector and the close proximity of the detector to the beams, and allows beam parameters such as positions, angles and widths to be determined. The results of the two methods have comparable precision and are in good agreement. Combining the two methods, an overall precision of 3.5% in the absolute luminosity determination is reached. The techniques used to transport the absolute luminosity calibration to the full 2010 data-taking period are presented.Comment: 48 pages, 19 figures. Results unchanged, improved clarity of Table 6, 9 and 10 and corresponding explanation in the tex